Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
221	Integer Point Sets Minimizing Average Pairwise ℓ1 Distance: What is the Optimal Shape of a Town? Erik D. Demaine∗ S´ andor P. Fekete† Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:33:35 Operations research Optimal control Systems engineering Systems theory Systems science Mathematics Linear temporal logic Dynamic programming Equations Mathematical optimization
222	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
223	GROUP IN LOGIC AND THE METHODOLOGY OF SCIENCE PRELIMINARY EXAMINATION There are eight questions. Partial credit may be assigned for substantially correct partially worked solutions. To pass, you need a score of roughly f Add to Reading List Source URL: logic.berkeley.edu Language: English Model theory Structure Constructible universe Symbol Peano axioms Linear temporal logic Forcing Mathematical logic Mathematics Logic
224	SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨ Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-08-18 01:13:32 Mathematical logic Computing NuSMV XML Static single assignment form Model checking Linear temporal logic Computation tree logic Type system Theoretical computer science Temporal logic Logic in computer science
225	Test functions, distributions, and Sobolev’s lemma Jordan Bell Department of Mathematics, University of Toronto May 22, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-05-22 16:16:17 Mathematical analysis Mathematics Spectral theory of ordinary differential equations Linear temporal logic Constructible universe Locally convex topological vector space Operator theory
226	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:14 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
227	Orbital stability for NLS Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Let n = 3, and take p < 43 . Some of the material we will present for general Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:52:33 Temporal logic Μ operator Operator theory Differential geometry Linear temporal logic
228	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
229	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
230	An Automata-Theoretic Approach to Hardware/Software Co-verification Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-11-19 03:22:01 Mathematics Model checking PAT Linear temporal logic Formal methods Algorithm Correctness Logic Theoretical computer science Model checkers Applied mathematics

UPDATE